perm filename G.11[ADM,DBL] blob
sn#165041 filedate 1975-06-23 generic text, type T, neo UTF8
JOB 16 ON TTY101 23-JUN-75 11:47
PREVIOUS LOGIN: 21-JUN-75 18:46
NO RECENT MESSAGES.
TENEX WILL GO DOWN THU 6-26-75 1800 TIL THU 6-26-75 2359
@DIR
<LENAT>
CON3. ;4,3
FIX3. ;7
S . ;8
TOP3. ;4,3
UTIL3. ;3,2
8 FILES, 207 PAGES
@SYS
23-JUN-75 11:48, UP 25:14:20 17 JOBS
LOAD AV 1.80 1.95 1.77
TENEX WILL GO DOWN THU 6-26-75 1800 TIL THU 6-26-75 2359
JOB TTY USER SUBSYS # SIZE RUNTIME
2 76 PERSKY (PRIV) 2 57 0:00:22.3
4 4 AXLINE LISP 3 158 0:00:15.8
6 34 RINDFLEISCH BANANA 3 45 0:00:49.6
7 30 HEATHMAN TV 2 63 0:00:25.1
8 31 COWER EXEC 2 111 0:01:36.1
9 41 CMILLER DIABLO 2 27 0:00:19.5
10 36 NSMITH (PRIV) 4 148 0:23:40.0
11 100 POPLE LISP 3 98 0:02:10.7
12 35 CROSSLAND NTELNE 5 156 0:00:20.4
13 40 WILCOX TV 2 72 0:00:03.9
14 6 VANMELLE LISP 7 76 0:06:30.2
15 47 FRIEDLAND SNDMSG 3 18 0:00:02.8
16 101 LENAT EXEC 1 28 0:00:01.7
17 2 LOEW TECO 2 44 0:00:14.7
18 7 CLANCEY EXEC 2 36 0:00:17.6
1 DET SYSTEM BATCON 2 30 0:03:38.1
@S.
INTERLISP-10 20-OCT-74 ...
HELLO.
(S.;8 . <LISP>LISP.SAV;41020)
←EDITF(UPDATE)
EDIT
*R ATTACH CONS
*OK
UPDATE
←USERNAMES
(AVRA BRUCE CORDELL DOUG ED)
←TRACE(INSTAN-REC)
(INSTAN-REC)
←
BREAK(INSTAN-REC)
(INSTAN-REC)
←
START)
ENTERING MAIN LOOP NOW.
VERBOSITY LEVEL (0-10) ...
0
(ANYB-EXS-E-SUGG COMPILING)
(ANYB-EXS-E-SUGG (BA1 BA2 BA3) NIL)
GC: 1
37, 10277 FREE WORDS
GC: 16
504, 1016 FREE WORDS
(ANYB-ANYP-E-FILLIN1 COMPILING)
(ANYB-ANYP-E-FILLIN1 NIL NIL)
(ANYB-EXS-E-FILLIN1 COMPILING)
(ANYB-EXS-E-FILLIN1 NIL (BA1))
(INSTAN-REC BROKEN)
:?=
REC1 = (APPLYB (QUOTE SET-STRUC) (QUOTE DEFN) (APPLYB (QUOTE SET-STRUC-D
**ELETE) (QUOTE ALGS) (APPLYB (QUOTE
STRUCTURE-MEMB) (QUOTE ALGS) NIL (COPY BA1)) (COPY BA1)))
DPROC = NIL
BOP = NIL
:EVAL
(CONSTRUCTIVE-E-DEFN COMPILING)
(CONSTRUCTIVE-E-DEFN (BA1 BA2 BA3) NIL)
(SET-STRUC-DELETE-E-INV COMPILING)
(SET-STRUC-DELETE-E-INV (BA1 BA2 BA3 BA4) NIL)
(STRUCTURE-MEMB-E-INV COMPILING)
(STRUCTURE-MEMB-E-INV (BA1 BA2 BA3 BA4) NIL)
(STRUCTURE-INSERT-E-ALGS COMPILING)
(STRUCTURE-INSERT-E-ALGS (BA1 BA2 BA3 BA4) NIL)
INSTAN-REC EVALUATED
:!VALUE
((CLASS ANYB-RESTRUC ANYB-DEFN BAG-STRUC-DELETE))
:OK
INSTAN-REC
(ANYB-EXS-E-FILLIN2 COMPILING)
(ANYB-EXS-E-FILLIN2 NIL (ORIG-EMP))
RUNNING AT 1465 LOAD AV. = 2.97, USED 0:00:36.2 IN 0:13:46
(STRUCTURE-EXS-E-FILLIN2 COMPILING)
(STRUCTURE-EXS-E-FILLIN2 NIL NIL)
(ANYB-EXS-E-CHECK1 COMPILING)
(ANYB-EXS-E-CHECK1 NIL NIL)
U.D.F.
(SATISIFES BROKEN)
:(DEFINEQ (SATISFIES (LAMBDA NIL NIL]
(SATISFIES REDEFINED)
(SATISFIES)
:
OK
SATISIFES [BELOW BREAK-EXP] -> SATISFIES ? YES
SATISIFES
πππSATISIFES [BELOW EVAL] -> SATISFIES ? YES
πππ
SATISIFES [BELOW EVAL] -> SATISFIES
SATISIFES [BELOW EVAL] -> SATISFIES
SATISIFES [BELOW EVAL] -> SATISFIES
SATISIFES [BELOW EVAL] -> SATISFIES
SATISIFES [BELOW EVAL] -> SATISFIES
(ANYB-ANYP-E-CHECK2 COMPILING)
GC: 8
8119, 10163 FREE WORDS
(ANYB-ANYP-E-CHECK2 NIL NIL)
(INSTAN-REC BROKEN)
:
?=
REC1 = (APPLYB (QUOTE OSET-STRUC) (QUOTE DEFN) (APPLYB (QUOTE OSET-STRUC
**-DELETE) (QUOTE ALGS) (APPLYB (QUOTE
STRUCTURE-MEMB) (QUOTE ALGS) NIL (COPY BA1)) (COPY BA1)))
DPROC = NIL
BOP = NIL
:GEXISTING
(ANY-OF NIL (OSET LIST-STRUC STRUCTURE-EQUAL))
:MAPC((OSET-STRUC OSET-STRUC-DELETE STRUCTURE-INSERT STRUCTURE-MEMB) TR
**ACE)
NIL
:
(RAND-MEMB GEXISTING)
(OSET LIST-STRUC STRUCTURE-EQUAL)
:
(RAND-MEMB GEXISTING)
(OSET LIST-STRUC STRUCTURE-EQUAL)
:
(DEFINEQ (ARG-SUBST (LAMBDA (ARG NEW)
]
EDIT
*-1 -1 P
(LAMBDA (ARG NEW))
*(I N (COPY (GETB 'SET-STRUC-DELETE 'INV]
*P
(LAMBDA (ARG NEW) (TYPE NONRECURSIVE TRANSFORM &))
*3
*XTR -1
...
*P
(PROGN (SETQ BA4 &) (SETQ BA1 &) (SETQ BA2 &) (APPLYB & & & &))
*XTR 3
*P
(SETQ BA1 (CAR &))
*(1 SET)
*(2 ARG)
*P
(SET ARG (CAR &))
*-1 -1 P
(DSUBST BA4 (QUOTE BA1) (DSUBST BA4 & &))
*↑
*R BA4 NEW
*R '$ (QUOTE $)
...
'$ ?
*R (QUOTE BA4)
... ARG
(QUOTE BA4) ?
*R (QUOTE BA1)
... ARG
*R (QUOTE BA2)
... ARG2
*R ARG ARG1
*0 P
CAN'T - AT TOP.
*P
(DEFINEQ (ARG-SUBST &))
*-1 -1 P
(LAMBDA (ARG1 NEW) (SET ARG1 &))
*(2 (NEW ARG1 ARG2))
*3 P
(SET ARG1 (CAR &))
*PP
[SET ARG1 (CAR (DSUBST NEW ARG1 (DSUBST NEW (LIST (QUOTE COPY)
ARG1)
(DSUBST (RAND-THING)
ARG2
(LIST (COPY BA1]
*R BA1 (EVAL BA1)
...
*R (EVAL BA1)
... (EVAL ARG1)
...
*PP
[SET ARG1 (CAR (DSUBST NEW ARG1 (DSUBST NEW (LIST (QUOTE COPY)
ARG1)
(DSUBST (RAND-THING)
ARG2
(LIST (COPY (EVAL ARG1
**]
*0 P
(LAMBDA (NEW ARG1 ARG2) (SET ARG1 &))
*-1 -1 -1 P
(DSUBST NEW ARG1 (DSUBST NEW & &))
*-1 -1 P
(DSUBST (RAND-THING) ARG2 (LIST &))
*-1 P
(LIST (COPY &))
*MBD DSUBST NEW2 (LIST (QUOTE COPY) ARG2)
...
*P
(DSUBST NEW2 (LIST & ARG2) (LIST &))
*0 P
(DSUBST (RAND-THING) ARG2 (DSUBST NEW2 & &))
*(2 NEW2)
*0 P
(DSUBST NEW (LIST & ARG1) (DSUBST NEW2 ARG2 &))
*0 P
(DSUBST NEW ARG1 (DSUBST NEW & &))
*0 P
(CAR (DSUBST NEW ARG1 &))
*0 P
(SET ARG1 (CAR &))
*0 P
(LAMBDA (NEW ARG1 ARG2) (SET ARG1 &))
*(2 (ARG1 NEW1 ARG2 NEW2))
*R NEW NEW1
*(INSERT (## 3) AFTER 3)
*P
(LAMBDA (ARG1 NEW1 ARG2 NEW2) (SET ARG1 &) (SET ARG1 &))
*(1 NLAMBDA)
*UNDO
(1 --) UNDONE.
*-1
*(2 ARG2)
*-1 -1 P
(DSUBST NEW1 ARG1 (DSUBST NEW1 & &))
*-1 -1 P
(DSUBST NEW2 ARG2 (DSUBST NEW2 & &))
*-1 -1 P
(LIST (COPY &))
*-1 -1 P
(EVAL ARG1)
*(2 ARG2)
*↑ P
(DEFINEQ (ARG-SUBST &))
*-1 -1 P
(LAMBDA (ARG1 NEW1 ARG2 NEW2) (SET ARG1 &) (SET ARG2 &))
*OK
(ARG-SUBST)
:CHANGE-B(OSET-STRUC-DELETE INV)
... INV (APPLYB & & & &) BROKEN OSET-STRUC-DELETEB0006 BRKINFO (&))
TTY:
*2
*(MBD (TYPE NONRECURSIVE TRANSFORM (PROGN (ARG-SUBST ) *]
*P
(TYPE NONRECURSIVE TRANSFORM (PROGN & &))
*-1 P
(PROGN (ARG-SUBST) (APPLYB & & & &))
*2
*(N 'BA1 (RAND-MEMB GEXISTING) 'BA2 (RAND-THING]
*PP
(ARG-SUBST 'BA1 (RAND-MEMB GEXISTING)
'BA2
(RAND-THING))
*E PP(ARG-SUBST)
(ARG-SUBST
[LAMBDA (ARG1 NEW1 ARG2 NEW2)
[SET ARG1 (CAR (DSUBST NEW1 ARG1 (DSUBST NEW1 (LIST (QUOTE COPY)
ARG1)
(DSUBST NEW2 ARG2 (DSUBST N
**EW2 (LIST (QUOTE COPY)
** ARG2)
(
**LIST (COPY (EVAL ARG1]
(SET ARG2 (CAR (DSUBST NEW1 ARG1 (DSUBST NEW1 (LIST (QUOTE COPY)
ARG1)
(DSUBST NEW2 ARG2 (DSUBST N
**EW2 (LIST (QUOTE COPY)
** ARG2)
(
**LIST (COPY (EVAL ARG2])
(ARG-SUBST)
*NX P
(APPLYB (QUOTE STRUCTURE-INSERT) (QUOTE ALGS) (OR & BA1) (OR & BA2))
*-1 2 P
(AND (LISTP BA2) (EQ & &) (EQ & &) (APPLYB & & & & &))
*-1 P
(APPLYB (CADR BA2) (QUOTE INV) (CADDDR BA2) (CAR &) (CADR &))
*2
*MBD EVAL
*PP
(EVAL (CADR BA2))
*0 PP
(APPLYB (EVAL (CADR BA2))
(QUOTE INV)
(CADDDR BA2)
(CAR (CDDDDR BA2))
(CADR (CDDDDR BA2)))
*0 P
(AND (LISTP BA2) (EQ & &) (EQ & &) (APPLYB & & & & &))
*3 PP
(EQ (CAR BA2)
(QUOTE APPLYB))
*NX PP
(EQ (CADDR BA2)
(QUOTE ALGS))
*2
*MBD EVAL
*0 0 P
(AND (LISTP BA2) (EQ & &) (EQ & &) (APPLYB & & & & &))
*0 0 P
(APPLYB (QUOTE STRUCTURE-INSERT) (QUOTE ALGS) (OR & BA1) (OR & BA2))
*-2 2 P
(AND (LISTP BA1) (EQ & &) (EQ & &) (APPLYB & & & & &))
*4 PP
(EQ (CADDR BA1)
(QUOTE ALGS))
*2
*MBD EVAL
*0 0 P
(AND (LISTP BA1) (EQ & &) (EQ & &) (APPLYB & & & & &))
*-1 2 P
(CADR BA1)
*MBD EVAL
*OK
OSET-STRUC-DELETE, INV
INV
:TRACE(ARG-SUBST)
(ARG-SUBST)
:
NFUN((ARG-SUBST))
THERE ARE NOW 113 FUNCTIONS ON TOP3COMS
TOP3COMS
:
?=
REC1 = (APPLYB (QUOTE OSET-STRUC) (QUOTE DEFN) (APPLYB (QUOTE OSET-STRUC
**-DELETE) (QUOTE ALGS) (APPLYB (QUOTE
STRUCTURE-MEMB) (QUOTE ALGS) NIL (COPY BA1)) (COPY BA1)))
DPROC = NIL
BOP = NIL
:EVAL
(OSET-STRUC-DELETE-E-INV COMPILING)
(OSET-STRUC-DELETE-E-INV (BA1 BA2 BA3 BA4) ('BA1 'BA2))
ARG-SUBST:
ARG1 = NOBIND
NEW1 = (OSET LIST-STRUC STRUCTURE-EQUAL)
ARG2 = NOBIND
NEW2 = STRUCTURE
ARG-SUBST = STRUCTURE
STRUCTURE-MEMB:
BP = INV
BA1 = NIL
BA2 = (COPY BA1)
BA3 = NIL
BA4 = NIL
STRUCTURE-MEMB = ANYB-VIEW
STRUCTURE-INSERT:
BP = ALGS
BA1 = ANYB-VIEW
BA2 = (COPY BA1)
BA3 = NIL
BA4 = NIL
STRUCTURE-INSERT = (COPY ANYB-VIEW BA1)
INSTAN-REC EVALUATED
:CHANGE-B)
OSET-STRUC-DELETE
INV
... INV (TYPE NONRECURSIVE TRANSFORM &) BROKEN OSET-STRUC-DELETEB0006 BR
**KINFO (&))
TTY:
*↑
*R '$ (QUOTE $)
...
'BA1->(QUOTE BA1)
'BA2->(QUOTE BA2)
*OK
OSET-STRUC-DELETE, INV
INV
:EVAL
(OSET-STRUC-DELETE-E-INV COMPILING)
(OSET-STRUC-DELETE-E-INV (BA1 BA2 BA3 BA4) NIL)
ARG-SUBST:
ARG1 = BA1
NEW1 = (OSET LIST-STRUC STRUCTURE-EQUAL)
ARG2 = BA2
NEW2 = ANYB-EXS-NOT
ARG-SUBST = (COPY ANYB-VIEW (OSET LIST-STRUC STRUCTURE-EQUAL))
STRUCTURE-MEMB:
BP = INV
BA1 = NIL
BA2 = (OSET LIST-STRUC STRUCTURE-EQUAL)
BA3 = NIL
BA4 = NIL
STRUCTURE-MEMB = PREDICATE
STRUCTURE-INSERT:
BP = ALGS
BA1 = PREDICATE
BA2 = (COPY ANYB-VIEW (OSET LIST-STRUC STRUCTURE-EQUAL))
BA3 = NIL
BA4 = NIL
STRUCTURE-INSERT = (COPY PREDICATE ANYB-VIEW (OSET LIST-STRUC STRUCTU
**RE-EQUAL))
INSTAN-REC EVALUATED
:GEXISTING
(ANY-OF NIL (OSET LIST-STRUC STRUCTURE-EQUAL) (COPY ANYB-VIEW BA1) (COPY
** PREDICATE ANYB-VIEW (OSET LIST-STRUC
STRUCTURE-EQUAL)))
:EDITV(GEXISTING)
EDIT
*(4)
*
(4)
*(4)
4 ?
*P
(ANY-OF NIL (OSET LIST-STRUC STRUCTURE-EQUAL))
*OK
GEXISTING
:BA1
EXS
:BA2
NIL
:!VALUE
((COPY PREDICATE ANYB-VIEW (OSET LIST-STRUC STRUCTURE-EQUAL)))
:?=
REC1 = (APPLYB (QUOTE OSET-STRUC) (QUOTE DEFN) (APPLYB (QUOTE OSET-STRUC
**-DELETE) (QUOTE ALGS) (APPLYB (QUOTE
STRUCTURE-MEMB) (QUOTE ALGS) NIL (COPY BA1)) (COPY ANYB-VIEW BA1)))
DPROC = (APPLYB (QUOTE OSET-STRUC-DELETE) (QUOTE ALGS) (APPLYB (QUOTE ST
**RUCTURE-MEMB) (QUOTE ALGS) NIL (COPY BA1))
(COPY ANYB-VIEW BA1))
BOP = OSET-STRUC-DELETE
:EVAL
ARG-SUBST:
ARG1 = BA1
NEW1 = (OSET LIST-STRUC STRUCTURE-EQUAL)
ARG2 = BA2
NEW2 = RELATION
ARG-SUBST = (COPY ANYB-VIEW (OSET LIST-STRUC STRUCTURE-EQUAL))
STRUCTURE-MEMB:
BP = INV
BA1 = NIL
BA2 = (OSET LIST-STRUC STRUCTURE-EQUAL)
BA3 = NIL
BA4 = NIL
STRUCTURE-MEMB = ANYB-INTU
STRUCTURE-INSERT:
BP = ALGS
BA1 = ANYB-INTU
BA2 = (COPY ANYB-VIEW (OSET LIST-STRUC STRUCTURE-EQUAL))
BA3 = NIL
BA4 = NIL
STRUCTURE-INSERT = (COPY ANYB-INTU ANYB-VIEW (OSET LIST-STRUC STRUCTU
**RE-EQUAL))
INSTAN-REC EVALUATED
:REDO EDITV
EDIT
*P
(ANY-OF NIL (OSET LIST-STRUC STRUCTURE-EQUAL) (COPY ANYB-INTU ANYB-VIEW
**&))
*(4)
*OK
GEXISTING
:BREAK(ARG-SUBST)
(ARG-SUBST)
:
EVAL
(ARG-SUBST BROKEN)
:?=
ARG1 = BA1
NEW1 = (OSET LIST-STRUC STRUCTURE-EQUAL)
ARG2 = BA2
NEW2 = ANYB-OPS
:BA1
(APPLYB (QUOTE STRUCTURE-MEMB) (QUOTE ALGS) NIL (COPY BA1))
:BA2
(COPY ANYB-VIEW BA1)
:REC1
(APPLYB (QUOTE OSET-STRUC) (QUOTE DEFN) (APPLYB (QUOTE OSET-STRUC-DELETE
**) (QUOTE ALGS) (APPLYB (QUOTE STRUCTURE-MEMB)
(QUOTE ALGS) NIL (COPY BA1)) (COPY ANYB-VIEW BA1)))
:BT
ARG-SUBST
OSET-STRUC-DELETE-E-INV
PROGN
APPLY
SELECTQ
**BREAK**
OSET-STRUC-DELETE
APPLYB
AND
OR
AND
**BREAK**
INSTAN-REC
AND
PROGN
APPLY
SELECTQ
INSTAN-1D
MAPCONC
INSTAN-D
ANYB-EXS-E-FILLIN1
PROGN
APPLY
SELECTQ
ANYB-EXS
APPLYB
APPLYB-P
MAPCONC
AND
PSUF
FILLIN
EVAL
SETQ
XEQ-CAND
PROG
TLOOP
START
**TOP**
:D
(TYPE RECURSIVE (OR (EQUAL BA1 (LIST (QUOTE OSET))) (APPLYB (QUOTE OSET-
**STRUC) (QUOTE DEFN) (APPLYB (QUOTE
OSET-STRUC-DELETE) (QUOTE ALGS) (APPLYB (QUOTE STRUCTURE-MEMB) (QUOTE AL
**GS) NIL (COPY BA1)) (COPY BA1)))))
:DBOD
(OR (EQUAL BA1 (LIST (QUOTE OSET))) (APPLYB (QUOTE OSET-STRUC) (QUOTE DE
**FN) (APPLYB (QUOTE OSET-STRUC-DELETE) (QUOTE
ALGS) (APPLYB (QUOTE STRUCTURE-MEMB) (QUOTE ALGS) NIL (COPY BA1)) (COPY
**BA1))))
:REC
(APPLYB (QUOTE OSET-STRUC) (QUOTE DEFN) (APPLYB (QUOTE OSET-STRUC-DELETE
**) (QUOTE ALGS) (APPLYB (QUOTE STRUCTURE-MEMB)
(QUOTE ALGS) NIL (COPY BA1)) (COPY BA1)))
:EDITV(REC1)
EDIT
*-1 P
(APPLYB (QUOTE OSET-STRUC-DELETE) (QUOTE ALGS) (APPLYB & & NIL &) (COPY
**ANYB-VIEW BA1))
*-1 -1 P
BA1
*BK P
ANYB-VIEW
*(:)
*OK
REC1
:EDITV(GEXISTING)
EDIT
*P
(ANY-OF NIL (OSET LIST-STRUC STRUCTURE-EQUAL))
*OK
GEXISTING
:BA1
(APPLYB (QUOTE STRUCTURE-MEMB) (QUOTE ALGS) NIL (COPY BA1))
:BA2
(COPY BA1)
:EVAL
ARG-SUBST EVALUATED
:BA1
(APPLYB (QUOTE STRUCTURE-MEMB) (QUOTE ALGS) NIL (OSET LIST-STRUC STRUCTU
**RE-EQUAL))
:BA2
(OSET LIST-STRUC STRUCTURE-EQUAL)
:OK
ARG-SUBST
STRUCTURE-MEMB:
BP = INV
BA1 = NIL
BA2 = (OSET LIST-STRUC STRUCTURE-EQUAL)
BA3 = NIL
BA4 = NIL
STRUCTURE-MEMB = ANYB-INT
STRUCTURE-INSERT:
BP = ALGS
BA1 = ANYB-INT
BA2 = (OSET LIST-STRUC STRUCTURE-EQUAL)
BA3 = NIL
BA4 = NIL
STRUCTURE-INSERT = (OSET ANYB-INT LIST-STRUC STRUCTURE-EQUAL)
INSTAN-REC EVALUATED
:!VALUE
((OSET ANYB-INT LIST-STRUC STRUCTURE-EQUAL))
:OK
INSTAN-REC
(INSTAN-REC BROKEN)
:?=
REC1 = (APPLYB (QUOTE BAG-STRUC) (QUOTE DEFN) (APPLYB (QUOTE BAG-STRUC-D
**ELETE) (QUOTE ALGS) (APPLYB (QUOTE
STRUCTURE-MEMB) (QUOTE ALGS) NIL (COPY BA1)) (COPY BA1)))
DPROC = NIL
BOP = NIL
:EVAL
(BAG-STRUC-DELETE-E-INV COMPILING)
(BAG-STRUC-DELETE-E-INV (BA1 BA2 BA3 BA4) NIL)
STRUCTURE-INSERT:
BP = ALGS
BA1 = (APPLYB (QUOTE STRUCTURE-MEMB) (QUOTE ALGS) NIL (COPY BA1))
BA2 = (COPY BA1)
BA3 = NIL
BA4 = NIL
STRUCTURE-INSERT = (COPY (APPLYB (QUOTE STRUCTURE-MEMB) (QUOTE ALGS)
**NIL (COPY BA1)) BA1)
INSTAN-REC EVALUATED
:REC1
(APPLYB (QUOTE BAG-STRUC) (QUOTE DEFN) (APPLYB (QUOTE BAG-STRUC-DELETE)
**(QUOTE ALGS) (APPLYB (QUOTE STRUCTURE-MEMB)
(QUOTE ALGS) NIL (COPY BA1)) (COPY (APPLYB (QUOTE STRUCTURE-MEMB) (QUOTE
** ALGS) NIL (COPY BA1)) BA1)))
:EDITV(REC1)
EDIT
*-1 -1 -1 P
BA1
*0 P
(COPY (APPLYB & & NIL &) BA1)
*(2)
*OK
REC1
:EDITV(GEXISITNG)
=GEXISTING
EDIT
*P
(ANY-OF NIL (BAG ANYB-ANAS ANYB-D-R) (COPY BA1))
*(4)
*OK
GEXISTING
:CHANGE-B(BAG-STRUC-DELETE)
INV
... INV (APPLYB & & & &))
TTY:
*(I 2 (COPY (GETB 'OSET-STRUC 'INV)))
*P
... INV NIL)
*FIX -2
EDIT
*-1 -1 P
-1 ?
*P
OK
*OK
BAG-STRUC-DELETE, INV
INV
:CHANGE-B)
BAG-STRUC-DELETE
INV
... INV (ANY-OF NIL))
TTY:
*(I 2 (COPY (GETB 'OSET-STRUC-DELETE 'INV]
*P
... INV (TYPE NONRECURSIVE TRANSFORM &))
*-1 -1 PP
(PROGN (ARG-SUBST (QUOTE BA1)
(RAND-MEMB GEXISTING)
(QUOTE BA2)
(RAND-THING))
(APPLYB (QUOTE STRUCTURE-INSERT)
(QUOTE ALGS)
(OR [AND (LISTP BA1)
(EQ (CAR BA1)
(QUOTE APPLYB))
(EQ (EVAL (CADDR BA1))
(QUOTE ALGS))
(APPLYB (EVAL (CADR BA1))
(QUOTE INV)
(CADDDR BA1)
(CAR (CDDDDR BA1))
(CADR (CDDDDR BA1]
BA1)
(OR [AND (LISTP BA2)
(EQ (CAR BA2)
(QUOTE APPLYB))
(EQ (EVAL (CADDR BA2))
(QUOTE ALGS))
(APPLYB (EVAL (CADR BA2))
(QUOTE INV)
(CADDDR BA2)
(CAR (CDDDDR BA2))
(CADR (CDDDDR BA2]
BA2)))
*OK
BAG-STRUC-DELETE, INV
INV
:EVAL
(BAG-STRUC-DELETE-E-INV COMPILING)
(BAG-STRUC-DELETE-E-INV (BA1 BA2 BA3 BA4) NIL)
(ARG-SUBST BROKEN)
:!VALUE
NIL
:OK
ARG-SUBST
STRUCTURE-MEMB:
BP = INV
BA1 = NIL
BA2 = (BAG ANYB-ANAS ANYB-D-R)
BA3 = NIL
BA4 = NIL
STRUCTURE-MEMB = STRUCTURE-EXS
STRUCTURE-INSERT:
BP = ALGS
BA1 = STRUCTURE-EXS
BA2 = (BAG ANYB-ANAS ANYB-D-R)
BA3 = NIL
BA4 = NIL
STRUCTURE-INSERT = (BAG STRUCTURE-EXS ANYB-ANAS ANYB-D-R)
INSTAN-REC EVALUATED
:!VALUE
((BAG STRUCTURE-EXS ANYB-ANAS ANYB-D-R))
:SYSOUT(S)
S.;9
:
LOGOUT)
@
@DEL S.;8
@DIR
<LENAT>
CON3. ;4,3
FIX3. ;7
S . ;9
TOP3. ;4,3
UTIL3. ;3,2
8 FILES, 239 PAGES
@EXPUNGE
@